Preface of the Special Issue on "Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06)
International audienceThis book constitutes the carefully refereed post-proceedings of the 6th Sympo...
An introduction to the key topics in the cognitive science of cyber defence analysis including an ov...
This is the definitive technical reference to security protocols: their goals, mechanisms, propertie...
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning
Preface of the Special Issue of Theoretical Computer Science on "Automated Reasoning for Security Pr...
Preface of the Special Issue of International Journal of Information Security on "Automated Reasonin...
Preface of the "Proceedings of the ICALP 2005 Workshop on Automated Reasoning for Security Protocol ...
Preface of the Proceedings of the IJCAR Workshop on "Automated Reasoning for Security Protocol Analy...
Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations...
2006 Federated Logic Conference (FLoC’06). The workshop FCS-ARSPA’06 is the fusion of two workshops....
I am pleased to introduce the Special Issue on “Advances in Secure AI: Technology and Applications” ...
This volume collects the revised proceedings of the 19th International Security Protocols Workshop, ...
Online appendix for the publication: DASP: A Framework for Driving the Adoption of Software Securit...
Special Issue: Selected Papers of the International Workshop on Security Analysis of Systems: Formal...
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
International audienceThis book constitutes the carefully refereed post-proceedings of the 6th Sympo...
An introduction to the key topics in the cognitive science of cyber defence analysis including an ov...
This is the definitive technical reference to security protocols: their goals, mechanisms, propertie...
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning
Preface of the Special Issue of Theoretical Computer Science on "Automated Reasoning for Security Pr...
Preface of the Special Issue of International Journal of Information Security on "Automated Reasonin...
Preface of the "Proceedings of the ICALP 2005 Workshop on Automated Reasoning for Security Protocol ...
Preface of the Proceedings of the IJCAR Workshop on "Automated Reasoning for Security Protocol Analy...
Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations...
2006 Federated Logic Conference (FLoC’06). The workshop FCS-ARSPA’06 is the fusion of two workshops....
I am pleased to introduce the Special Issue on “Advances in Secure AI: Technology and Applications” ...
This volume collects the revised proceedings of the 19th International Security Protocols Workshop, ...
Online appendix for the publication: DASP: A Framework for Driving the Adoption of Software Securit...
Special Issue: Selected Papers of the International Workshop on Security Analysis of Systems: Formal...
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
International audienceThis book constitutes the carefully refereed post-proceedings of the 6th Sympo...
An introduction to the key topics in the cognitive science of cyber defence analysis including an ov...
This is the definitive technical reference to security protocols: their goals, mechanisms, propertie...
DOI
Add to ORKG